//WY49
#include <stdio.h>
// int main()
// {
//     int n=0;
//     int k=0;
//     int count=0;
//     while(scanf("%d %d",&n,&k)!=EOF)
//     {for(int i=1;i<=n;i++)
//     {
        
//         for(int j=1;j<=n;j++)
//         {
//             if((i%j)>=k)
//             {
//                 count++;
//             }
//         }
//     }
//     printf("%d",count);
//     }
//     return 0;
// }
#include <stdio.h>
int main()
{
    long n, k;
    while(~scanf("%ld %ld", &n, &k))
    {
        if (k == 0) 
        {
            printf("%ld\n", n * n);//任意数对的取模结果都是大于等于0的
            continue;
        }
        long count = 0;
        for(long y = k + 1; y <= n; y++) 
        {
            count += ((n / y) * (y - k)) + ((n % y < k) ? 0 : (n % y - k + 1));
        }
        printf("%ld\n", count);
    }
    return 0;
}